@all @alltrue

@match

@endwarn=

@enddocument= @endwarn @enddocument

@extra @boxht @boxsp @boxlf @boxrt @boxhht @ovalsp @framesp @textlf @textrt @textup @joinsz @joinhsz @joinadj

=1sp =4ex =1ex =1ex =2ex =2ex =1ex =1ex =0pt =1ex

ptsize =16pt =24pt =5pt =16pt =16pt =24pt =5pt =16pt =20pt =28pt =6pt =20pt

@extra= @extra by @boxht= @boxht by @boxsp= @boxsp by @boxlf= @boxlf by @boxrt= @boxrt by @boxhht= @boxhht by @boxhht by 2 @ovalsp= @ovalsp by @framesp= @framesp by @textlf= @textlf by @textrt= @textrt by @textup= @textup by @joinsz= @joinsz by @joinhsz= @joinhsz by @joinhsz by 2 @joinadj= @joinadj by

@x @y @ex @sx @rx

@tmpa @tmpb @tmpc

@tokenfont=@termfont=@nontfont=@annofont=@namefont=@indexfont=

@box

@jx @jy

@gx @gy @gex @grx

@sy @mx